Defeasible Reasoning - Adler&Rips
نویسنده
چکیده
There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples:
منابع مشابه
Analogy, Decision, And Theory-Formation As Defeasible Reasoning
The development of computationally informed formalisms for reasoning with defeasible rules affords new accounts of familiar forms of reasoning. This paper points to recent accounts of defeasible reasoning and portrays analogy, decision, and theory-formation as essentially defeasible, in the same way that statistical reasoning has been portrayed. Each portrayal depends largely on the idea of par...
متن کاملAn Approach for Argumentation-based Reasoning Using Defeasible Logic in Multi-Agent Programming Languages
Argumentation systems are intimately related to nonmonotonic reasoning, of which defeasible reasoning is one widely-known approach. For example, the literature points out defeasible logic (a particular formalisation of defeasible reasoning) as a practical platform upon which to develop an argumentation system. In this paper, we develop an approach to endow AgentSpeak agents with argumentative c...
متن کاملArgumentation-Based Defeasible Reasoning For Existential Rules
Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT’s empirical behavior.
متن کاملar X iv : c s . L O / 0 20 70 86 v 1 2 5 Ju l 2 00 2 A Model - Theoretic Semantics for Defeasible Logic ⋆
Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.
متن کاملFIPA Dialogues in Defeasible Logic
In this paper we formalize reasoning about agent dialogue semantics in defeasible logic, including FIPA speech acts. We introduce a defeasible logic for efficient reasoning about agents, roles, mental attitudes, time and communication. We introduce the inform and request action of FIPA in the logic by attributing the mental attitudes to roles, we extend it with defeasible reasoning about the me...
متن کامل